@media (max-width: 750px) {
  .DocSearch-Container {
    /* fix the search modal on mobile */
    position: fixed;
  }
}

@media print {
  #docsearch-container,
  .DocSearch-Button {
    display: none;
  }
}
